翻訳と辞書 Words near each other ・ Augustus Desiré Waller ・ Augustus Dickens ・ Augustus Does His Bit ・ Augustus Drum ・ Augustus Dunbier ・ Augusto Rivalta ・ Augusto Roa Bastos ・ Augusto Rocha ・ Augusto Rodríguez ・ Augusto Rodríguez (musician) ・ Augusto Rodríguez (soldier) ・ Augusto Rollandin ・ Augusto Ruschi Biological Reserve ・ Augusto Sagnotti ・ Augusto Sakai ・ Augusto Sampaio ・ Augusto Samuel Boyd ・ Augusto Santos ・ Augusto Scalbi ・ Augusto Severo International Airport ・ Augusto Sezanne ・ Augusto Silj ・ Augusto Silva ・ Augusto Solari ・ Augusto Sorriso ・ Augusto Stahl ・ Augusto Stanley ・ Augusto Stoppoloni ・ Augusto Tasso Fragoso ・ Augusto Teixeira de Freitas Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Augusto Sampaio ： ウィキペディア英語版 Augusto Sampaio Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. He did his PhD under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE). His main contributions are in the area of model transformations and automatic generation of test from formal models. == References == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Augusto Sampaio」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.